The Conversion of Guarantee Contracts
نویسندگان
چکیده
منابع مشابه
Optimal design of uptime-guarantee contracts
Uptime-guarantee maintenance contracts reflect the obligation of service providers to maintain full functionality of equipment in certain fractions of working time in a period. In this paper, we study the optimal design of uptime-guarantee contracts for a service provider who does not know the customer’s exact valuation for having the equipment up and running per unit of working time. We first ...
متن کاملMonitoring Assumptions in Assume-Guarantee Contracts
Pre-deployment verification of software components with respect to behavioral specifications in the assumeguarantee form does not, in general, guarantee absence of errors at run time. This is because assumptions about the environment cannot be discharged until the environment is fixed. An intuitive approach is to complement pre-deployment verification of guarantees, up to the assumptions, with ...
متن کاملFrom Relational Interfaces to Assume-Guarantee Contracts
Contract-based design is emerging as a unifying compositional paradigm for the specification, design and verification of large-scale complex systems. Yet, different contract frameworks are currently available, without a clear understanding of the relations between them. In this paper, we investigate the relation between interface theories (specifically, relational interfaces) and assume-guarant...
متن کاملValidity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from propositional specifications towards specifications over rich theories. We propose a novel, completely automated approach to program synthesis which reduces the problem to deciding the validity of ...
متن کاملA Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design. In this paper, we elaborate new foundations for contract-based embedded system design by proposing a general-purpose algebra of assume/guarantee contracts based on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Modern Law Review
سال: 1966
ISSN: 0026-7961
DOI: 10.1111/j.1468-2230.1966.tb02258.x